SECTION code_fp_mbf32
PUBLIC ___mbf32_FPINT
EXTERN FPINT
defc ___mbf32_FPINT = FPINT
